Jeanne Brody, ed., La Rue

Brody curves omitting hyperplanes

A Brody curve, a.k.a. normal curve, is a holomorphic map f from the complex line C to the complex projective space P such that the family of its translations {z 7→ f(z + a) : a ∈ C} is normal. We prove that Brody curves omitting n hyperplanes in general position have growth order at most one, normal type. This generalizes a result of Clunie and Hayman who proved it for n =

Results about Rue Resolution

Extensional Higher-Order Paramodulation and RUE-Resolution

This paper presents two approaches to primitive equality treatment in higher-order (HO) automated theorem proving: a calculus EP adapting traditional first-order (FO) paramodulation [RW69] , and a calculus ERUE adapting FO RUE-Resolution [Dig79] to classical type theory, i.e., HO logic based on Church’s simply typed λ-calculus. EP and ERUE extend the extensional HO resolution approach ER [BK98a...

Mosquitoborne Infections after Hurricane Jeanne, Haiti, 2004

After Hurricane Jeanne in September 2004, surveillance for mosquitoborne diseases in Gonaïves, Haiti, identified 3 patients with malaria, 2 with acute dengue infections, and 2 with acute West Nile virus infections among 116 febrile patients. These are the first reported human West Nile virus infections on the island of Hispaniola.

35 rue Saint-Honoré, Fontainebleau

The graph matching problem is among the most important challenges of graph processing, and plays a central role in various fields of pattern recognition. We propose an approximate method for labeled weighted graph matching, based on a convexconcave programming approach which can be applied to the matching of large sized graphs. This method allows to easily integrate information on graph label s...